#include <stdio.h>

int main(){
    char str[100];
    scanf("%s",&str);
    int count[10];
    for (int i=0; i<10; i++){count[i]=0;}
    for (int i=0; str[i]!='\0'; i++){
        if ('0'<=str[i]&&str[i]<='9'){
            int num=str[i]-'0';
            count[num]++;
        }
    }
    for (int i=0;i<10;i++){
        printf("%d : %d\n",i,count[i]);
    }

    return 0;
}

